Test Case Generation from Behavioral UML Models
نویسندگان
چکیده
We propose an integrated approach to generate test cases from UML sequence and activity diagrams. We first transform these UML diagrams into a graph. Then, we propose an algorithm to generate test scenarios from the constructed graph. Next, the necessary information for test case generation, such as method-activity sequence, associated objects, and constraint conditions are extracted from test scenario. Our approach reduces the number of test cases and still achieves adequate test coverage. We achieve message-activity path coverage and category partitioning method for each predicate conditions found in the specific path of the design model.
منابع مشابه
Model-level Automatic Test Generation for Uml Statecharts
We present a framework for model-level testing of behavioral UML models. For automatic test generation, we use planner algorithms to deal with the complexity of UML models. Our approach is characterized by an automatic and metamodeldriven transformation from UML statecharts to a tool independent representation of planner algorithms from which the input language of concrete planner tools can be ...
متن کاملA Survey on Test Case Generation from UML Model
Testing is an important phase of software development, to maintain the quality control and reliability of the end products. Recent approach has been taken by the researcher to use UML models for test case generation. Various works has been done on test case generation for concurrent and nonconcurrent systems. In case of concurrent system group of activities are executed simultaneously where as ...
متن کاملAutomatic Test Case Generation from UML Models and OCL Expressions
In this paper, we discuss one approach of automated test case generation from UML models and OCL expressions. We show how to use UML and OCL to support several coverage criteria. We introduce our current prototype implementation, compare it to commercial tools, and sketch shortcomings and further development.
متن کاملTest Case Generation and Prioritization Based on Uml Behavioral Models
Test case prioritization (TCP) techniques have been proven to be beneficial for improving testing activities. Prioritized test suites are found using different techniques of prioritization. While code coverage based prioritization techniques are found to be used by most scholars, test case prioritization based on UML behavioral models has not been given much attention so far. We propose a novel...
متن کاملA Unified Approach to Code Generation from Behavioral Diagrams
In this paper we show how to use Rialto, an intermediate behavioral language, to capture the semantics of UML behavioral diagrams. The Rialto language has a formal semantics given as structural operational rules and it supports semantic variations. It can be used to uniformly describe the behavior of a combination of several diagrams and as a bridge from UML models to animation and production c...
متن کامل